1761. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
1762. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
1763. Trends in functional programming :
المؤلف: David Van Horn, John Hughes (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
1764. Trends in functional programming :
المؤلف: edited by Meng Wang, Scott Owens.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
1765. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
1766. Trends in functional programming :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
1767. Trends in functional programming.
المؤلف: edited by Henrik Nilsson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses.
رده :
QA76
.
62
T74
2007eb
1768. Trends in functional programming.
المؤلف: edited by Hans-Wolfgang Loidl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
1769. Trends in functional programming.
المؤلف: edited by Hans-Wolfgang Loidl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
1770. Trends in network and pervasive computing-ARCS 2002 :
المؤلف: Hartmut Schmeck, Theo Ungerer, Lars Wolf (eds.).
المکتبة: کتابخانه دانشکده مطالعات جهان دانشگاه تهران (طهران)
موضوع: Computer architecture,Computer programming,Congresses.,Congresses.
رده :
QA76
.
9
.
A73
A736
2002
1771. Trends in network and pervasive computing-ARCS 2002 : International Conference on Architecture of Computing Systems, Karlsruhe, Germany, April 2002 : proceedings
المؤلف: Hartmut Schmeck, Theo Ungerer, Lars Wolf )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer architecture,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2299
1772. Tutorials on emerging methodologies and applications in operations research :
المؤلف: edited by Harvey J. Greenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Operations research, Congresses.
1773. Typed Lambda Calculi and Applications :
المؤلف: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
1774. Types for proofs and programs :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Congresses ; Computer programming ; Congresses ;
1775. Types for proofs and programs
المؤلف: / Paul Callaghan ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving--Congresses,Computer programming--Congresses
رده :
QA
,
76
.
9
,.
A96
,
T96
,
2000
1776. Types for proofs and programs :
المؤلف: Paul Callaghan ... [et al.]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2000
1777. Types for proofs and programs :
المؤلف: Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatic theorem proving, Congresses,Computer programming, Congresses
رده :
QA76
.
9
.
A96
T96
2004
1778. Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
المؤلف: Paul Callaghan...]et al.[, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
2277
1779. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
المؤلف: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
1780. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
المؤلف: Thierry Coquand...]et al.[, )Eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
